ea0ae6a5fd9f19960611014d0044acc9f429bae8,sre/io.janusproject/io.janusproject.tests/src/io/janusproject/tests/bugs/BugS546.java,KillWaiterAgent,initializeBehaviorUnit,#PresentationEvent#,185

Before Change



			private void initializeBehaviorUnit(PresentationEvent occurrence) {
				if (LOG) {
					System.out.println("AGENT READY: " + occurrence.getSource().getUUID());
				}
				this.agents.add(occurrence.getSource().getUUID());
			}

After Change



			private void initializeBehaviorUnit(PresentationEvent occurrence) {
				final boolean b;
				synchronized (this.presentedAgents) {
					b = this.presentedAgents.add(occurrence.getSource().getUUID());
				}
				if (!b) {
					if (LOG) {